Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
501	Microsoft Word - Chapter 1 Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2009-07-11 11:28:37 Formal languages Combinatorics on words Pattern matching String matching algorithms Automata theory Regular expression AWK String Algorithm Computing Software engineering Software
502	A Type System for Expressive Security Policies∗ David Walker Cornell University abstraction preservation (programs use abstract data types only as their interfaces allow). These properties Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-16 16:28:29 Mathematics Logic First-order logic Interpretation Symbol Functional predicate Type safety Function Nondeterministic finite automaton Mathematical logic Automata theory Model theory
503	Combining Static Model Checking with Dynamic Enforcement using the Statecall Policy Language Anil Madhavapeddy Imperial College, South Kensington, London SW1 2AZ, UK [removed] Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 Computing Programming language theory Promela Finite-state machine ALGOL 68 Software engineering Automata theory Models of computation
504	Optimization of Massive Pattern Queries by Dynamic Configuration Morphing Nikolay Laptev #1 , Carlo Zaniolo #2 # University of California, Los Angeles Add to Reading List Source URL: labs.yahoo.com Language: English - Date: 2015-02-04 18:38:47 Formal languages Computer science Applied mathematics Pattern matching Regular expressions Nondeterministic finite automaton Deterministic finite automaton Nested word Finite-state machine Automata theory Models of computation Theoretical computer science
505	A Type System for Expressive Security Policies∗ David Walker Cornell University Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-06-07 14:58:01 Logic Mathematics Semantics Models of computation Formal languages First-order logic Type safety Predicate Functional predicate Automata theory Model theory Mathematical logic
506	LLparse and LRparse: Visual and Interactive Tools for Parsing Stephen A. Blythe, Michael C. James, and Susan H. Rodger1 Department of Computer Science Rensselaer Polytechnic Institute Troy, NY[removed]email: rodger@cs Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2003-06-18 09:05:39 Software engineering Theoretical computer science Automata theory Models of computation LR parser LL parser Parsing Bottom-up parsing Parsing table Programming language implementation Compiler construction Formal languages
507	Algorithms on Strings Maxime Crochemore Christophe Hancart Thierry Lecroq Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2009-07-11 11:28:13 Combinatorics on words String String matching algorithms Automata theory Pattern matching Suffix array String searching algorithm Suffix tree Alphabet Formal languages Combinatorics Mathematics
508	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-05-09 10:09:21 Computability theory Theory of computation Automata theory Models of computation Church–Turing thesis Algorithm Decidability Finite-state machine P Theoretical computer science Computer science Applied mathematics
509	Quasi-Weak Cost Automata A New Variant of Weakness Denis Kuperberg1 1 LIAFA/CNRS/Universit´ e 2 Department Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Computer science Applied mathematics Mathematics Nondeterministic finite automaton Regular language Finite-state machine Ω-automaton Automata theory Formal languages Models of computation
510	Expressive power of Cost Logics over Infinite Words Denis Kuperberg and Michael Vanden Boom S´eminaire Automates Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Computer science Applied mathematics Mathematics Regular language Nondeterministic finite automaton Finite-state machine Ω-automaton Omega-regular language Automata theory Formal languages Models of computation

UPDATE